First-order predicate logic
[计] 一阶谓词逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
I've got to go. Tomorrow is Monday,
我得走了。明天是星期一。
Delivery costs will have to be borne by the manufacturer, I'm afraid.
运费恐怕要由制造厂商来承担。
'Do you call that a hat?' I said to my wife.
“你把那个叫帽子吗？”我对妻子说。